function $(id)
{
	return document.getElementById(id);
}

function getClientHeight()
{
    return document.documentElement.clientHeight;
}